1

A semantical investigation on Brouwer-Zadeh logic

Year:
1991
Language:
english
File:
PDF, 941 KB
english, 1991
3

Paraconsistent ideas in quantum logic

Year:
2000
Language:
english
File:
PDF, 74 KB
english, 2000
4

Language, Quantum, Music ||

Year:
1999
Language:
english
File:
PDF, 36.56 MB
english, 1999
6

Ideals and congruences in effect algebras and qmv-algebras

Year:
2000
Language:
english
File:
PDF, 975 KB
english, 2000
7

Language, Quantum, Music || Is Chaos Indeterministic?

Year:
1999
Language:
english
File:
PDF, 1.61 MB
english, 1999
9

Compositional and holistic quantum computational semantics

Year:
2007
Language:
english
File:
PDF, 367 KB
english, 2007
11

Expanding Quasi-MV Algebras by a Quantum Operator

Year:
2007
Language:
english
File:
PDF, 417 KB
english, 2007
12

Quantum Logics and Lindenbaum Property

Year:
1987
Language:
english
File:
PDF, 1.84 MB
english, 1987
13

Brouwer-Zadeh logic and the operational approach to quantum mechanics

Year:
1990
Language:
english
File:
PDF, 616 KB
english, 1990
18

Quantum logics and Lindenbaum property

Year:
1987
Language:
english
File:
PDF, 995 KB
english, 1987
25

The logics of orthoalgebras

Year:
1995
Language:
english
File:
PDF, 1.01 MB
english, 1995
26

Weakly linear quantum MV-algebras

Year:
2005
Language:
english
File:
PDF, 254 KB
english, 2005
34

The Leibniz principle in quantum logic

Year:
1989
Language:
english
File:
PDF, 462 KB
english, 1989
37

Quantum MV algebras

Year:
1996
Language:
english
File:
PDF, 1.00 MB
english, 1996
41

Paraconsistent quantum logics

Year:
1989
Language:
english
File:
PDF, 621 KB
english, 1989
42

LOGICS FROM QUANTUM COMPUTATION

Year:
2005
Language:
english
File:
PDF, 499 KB
english, 2005
43

Quantum MV Algebras

Year:
1996
Language:
english
File:
PDF, 1.82 MB
english, 1996
45

Editorial Introduction

Year:
2014
Language:
english
File:
PDF, 75 KB
english, 2014
46

Semantic alternatives in Brouwer-Zadeh logics

Year:
1992
Language:
english
File:
PDF, 617 KB
english, 1992
48

Brouwer-Zadeh Logic, Decidability and Bimodal Systems

Year:
1992
Language:
english
File:
PDF, 1.25 MB
english, 1992
49

Brouwer-Zadeh logic, decidability and bimodal systems

Year:
1992
Language:
english
File:
PDF, 667 KB
english, 1992
50

Toward a formal language for unsharp properties

Year:
1989
Language:
english
File:
PDF, 807 KB
english, 1989